ECE/CS 598AM: Cryptocurrency Security Fall 2016 Lecture 7 — Zero Knowledge Proofs Lecturer: Andrew Miller

Source URL: soc1024.ece.illinois.edu

• Cryptography
• Computational complexity theory
• Proof of knowledge
• Zero-knowledge proof
• Non-interactive zero-knowledge proof
• IP
• NP
• Zero knowledge
• Certificate
• Witness
• Interactive proof system
• Soundness

Code-Based Zero-Knowledge Proofs, Signatures and More Kirill Morozov UNT 6th Code-Based Cryptography Workshop (CBCDavie, Florida, USA

Source URL: www.math.fau.edu

Zero-Knowledge for Multivariate Polynomials Val´erie Nachef1 , Jacques Patarin2 , Emmanuel Volte1 1 Department of Mathematics, University of Cergy-Pontoise, CNRS UMRavenue Adolphe Chauvin, 95011 Cergy-Pontoise C

Source URL: www.prism.uvsq.fr

Proving a Theorem in Zero-Knowledge J.W. Pope September 2, 2004 Abstract In 1986, Manuel Blum claimed in his paper ”How to Prove a Theorem So No One Else Can Claim It” that he could apply zero-knowledge methods to pr

Source URL: euler.nmt.edu

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: cseweb.ucsd.edu

Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives∗ Melissa Chase David Derler

Source URL: eprint.iacr.org

Quasilinear-Size Zero Knowledge from Linear-Algebraic PCPs Eli Ben-Sasson Alessandro Chiesa

Source URL: eprint.iacr.org

3-Message Zero Knowledge Against Human Ignorance Nir Bitansky∗ MIT Zvika Brakerski†

Source URL: eprint.iacr.org

2010 International Conference on Advances in Communication, Network, and Computing Zero-knowledge Software Watermarking for C Programs Agostino Cortesi

Source URL: www.dsi.unive.it